|
Die Compierbauwerkzeuge Cocktail der GMD Karlsruhe sollen um einen
weiteren Parsergenerator erweitert werden.
Der Parsergenerator soll nach dem Algorithmus von Earley arbeiten.
Damit ist er in der Lage, sämtiche kontextfreie Grammatiken zu
verarbeiten.
Die gewünschte Grammatik wird in der Sprache BNF beschrieben. In
den Ableitungsregeln der Grammatik können semantische Aktionen
angegeben werden, die beim Parsevorgang ausgeführt werden. In den
semantischen Aktionen kann auf die Attribute der einzelnen Symbole
einer Regel zugegriffen werden. Dabei werden neben zusammengesetzten
Attributen auch ererbte Attribute unterstützt.
Weiterhin unterstützt der Parsergenerator die Definition von
Operatoren, die über eine Priorität und eine Assoziativität
verfügen. Mittels der Operatoren können Mehrdeutigkeiten der
Grammatik aufgelöst werden.
Die erzeugten Parser verfügen über eine eigene Fehlerkorrektur,
die durch Einfügen und Löschen von Token eine fehlerhafte Eingabe
zu korrigieren versucht.
|